In this paper, we restudy busy beaver problem that is defined by Tibor Rado in 1962.Based on his work, we describe four ......

50年来人工智能的进展几乎都基于图灵模型、并以冯·诺依曼结构计算机为载体.人工智能学家千方百计地用计算机可理解的算法、语言......